From cf3aa570c213507f0f90189cf10627d60914af1f Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Tue, 2 Apr 2019 22:00:46 +0000
Subject: [PATCH] inspector: Rename a few pages

"Global" and "Visual" are not very good names for
the content of these pages. Rename them to
"Information and "Settings".
---
 gtk/inspector/window.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk/inspector/window.ui b/gtk/inspector/window.ui
index 8f20480b97..e3fcaa73f0 100644
--- a/gtk/inspector/window.ui
+++ b/gtk/inspector/window.ui
@@ -422,7 +422,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">general</property>
-                        <property name="title" translatable="yes">General</property>
+                        <property name="title" translatable="yes">Information</property>
                         <property name="child">
                           <object class="GtkInspectorGeneral"/>
                         </property>
@@ -431,7 +431,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">visual</property>
-                        <property name="title" translatable="yes">Visual</property>
+                        <property name="title" translatable="yes">Settings</property>
                         <property name="child">
                           <object class="GtkInspectorVisual"/>
                         </property>
-- 
2.30.2